The Structure of Commutative Automorphic Loops
نویسندگان
چکیده
An automorphic loop (or A-loop) is a loop whose inner mappings are automorphisms. Every element of a commutative A-loop generates a group, and (xy)−1 = x−1y−1 holds. Let Q be a finite commutative A-loop and p a prime. The loop Q has order a power of p if and only if every element of Q has order a power of p. The loop Q decomposes as a direct product of a loop of odd order and a loop of order a power of 2. If Q is of odd order, it is solvable. If A is a subloop of Q, then |A| divides |Q|. If p divides |Q|, then Q contains an element of order p. If there is a finite simple nonassociative commutative A-loop, it is of exponent 2.
منابع مشابه
The Structure of Free Automorphic Moufang Loops
We describe the structure of a free loop of rank n in the variety of automorphic Moufang loops as a subdirect product of a free group and a free commutative Moufang loop, both of rank n. In particular, the variety of automorphic Moufang loops is the join of the variety of groups and the variety of commutative Moufang loops.
متن کاملThe Structure of Automorphic Loops
Automorphic loops are loops in which all inner mappings are automorphisms. This variety of loops includes, for instance, groups and commutative Moufang loops. We study uniquely 2-divisible automorphic loops, particularly automorphic loops of odd order, from the point of view of the associated Bruck loops (motivated by Glauberman’s work on uniquely 2-divisible Moufang loops) and the associated L...
متن کاملThree Lectures On Automorphic Loops
These notes accompany a series of three lectures on automorphic loops to be delivered by the author at Workshops Loops ’15 (Ohrid, Macedonia, 2015). Automorphic loops are loops in which all inner mappings are automorphisms. The first paper on automorphic loops appeared in 1956 and there has been a surge of interest in the topic since 2010. The purpose of these notes is to introduce the methods ...
متن کاملA Class of Loops Categorically Isomorphic to Uniquely 2-divisible Bruck Loops
We define a new variety of loops we call Γ-loops. After showing Γ-loops are power associative, our main goal will be showing a categorical isomorphism between uniquely 2-divisible Bruck loops and uniquely 2-divisible Γ-loops. Once this has been established, we can use the well known structure of Bruck loops of odd order to derive the Odd Order, Lagrange and Cauchy Theorems for Γ-loops of odd or...
متن کاملConstructions of Commutative Automorphic Loops
A loop whose inner mappings are automorphisms is an automorphic loop (or A-loop). We characterize commutative (A-)loops with middle nucleus of index 2 and solve the isomorphism problem. Using this characterization and certain central extensions based on trilinear forms, we construct several classes of commutative A-loops of order a power of 2. We initiate the classification of commutative A-loo...
متن کاملNilpotency in Automorphic Loops of Prime Power Order
A loop is automorphic if its inner mappings are automorphisms. Using socalled associated operations, we show that every commutative automorphic loop of odd prime power order is centrally nilpotent. Starting with suitable elements of an anisotropic plane in the vector space of 2 × 2 matrices over the field of prime order p, we construct a family of automorphic loops of order p with trivial center.
متن کامل